Enum isotope::utils::L4 [−][src]
pub enum L4 { False, True, Unknown, Both, }
Expand description
IEEE 1364 standard 4-valued logic
Variants
The value is known to be false
The value is known to be true
The value is unknown
The value may be either true or false
Implementations
Create a new value which has f
for a maybe-false bit
Take the union of two L4 values, taken as subsets of {0, 1}
Take the intersection of two L4 values, taken as subsets of {0, 1}
Take the union of two L4 values, taken as subsets of {0, 1}
Take the intersection of two L4 values, taken as subsets of {0, 1}
Take the union of two L4 values, taken as subsets of {0, 1}
Take the intersection of two L4 values, taken as subsets of {0, 1}
Whether this value might be true
Whether this value might be false
The known truth value, if any
Take the conjunction of two values
Take the disjunction of two values
Trait Implementations
Auto Trait Implementations
Blanket Implementations
Mutably borrows from an owned value. Read more
Borrow an optional value of type T
Compare self to key
and return true
if they are equal.